Axiomatizing Consciousness with Applications

نویسندگان

چکیده

Consciousness will be introduced axiomatically, inspired by classical Buddhist insight meditation and psychology, computer science, cognitive neuroscience, as belonging to agents that observe act, in the form of a stream configurations is compound, discrete, probabilistic-computable. Within axiomatic context notions self, concentration, mindfulness, various forms suffering can defined. As an application this setup, it shown how combined development concentration mindfulness attenuate eventually eradicate some major suffering. The main message paper advanced consists knowledge state agent finds itself used defuse mental/behavioral scenarios. From science point view trivial being position access modify powerful enables greater flexibility. This attempt bridge gap between psychology. other explanatory hard problem (How do physics consciousness relate?) not discussed paper, but quite possibly extension it.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Axiomatizing GSOS with Predicates

In this paper, we introduce an extension of the GSOS rule format with predicates such as termination, convergence and divergence. For this format we generalize the technique proposed by Aceto, Bloom and Vaandrager for the automatic generation of ground-complete axiomatizations of bisimilarity over GSOS systems. Our procedure is implemented in a tool that receives SOS specifications as input and...

متن کامل

Axiomatizing GSOS with Termination

We discuss a combination of GSOS-type structural operational semantics with explicit termination, that we call the tagh-format (tagh being short for termination and GSOS hybrid). The tagh-format distinguishes between transition and termination rules, but allows besides active and negative premises as in GSOS,. also for, what is called terminating and passive arguments. We extend the result of A...

متن کامل

Axiomatizing Prefix Iteration with Silent Steps

Prefix iteration is a variation on the original binary version of the Kleene star operation P Q, obtained by restricting the first argument to be an atomic action. The interaction of prefix iteration with silent steps is studied in the setting of Milner’s basic CCS. Complete equational axiomatizations are given for four notions of behavioural congruence over basic CCS with prefix iteration, viz...

متن کامل

Axiomatizing Rationality

We provide a sound and complete axiomatization for a class of logics appropriate for reasoning about the rationality of players in games. Essentially the same axiomatization applies to a wide class of decision rules.

متن کامل

Axiomatizing geometric constructions

In this survey paper, we present several results linking quantifier-free axiomatizations of various Euclidean and hyperbolic geometries in languages without relation symbols to geometric constructibility theorems. Several fragments of Euclidean and hyperbolic geometries turn out to be naturally occurring only when we ask for the universal theory of the standard plane (Euclidean or hyperbolic), ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Lecture Notes in Computer Science

سال: 2022

ISSN: ['1611-3349', '0302-9743']

DOI: https://doi.org/10.1007/978-3-031-15629-8_3